SAT systems of equations